projects / gringo.git / shortlog
| 2016-12-20 | Thomas Krennwallner | gringo (5.1.0-4) unstable; urgency=medium | commit | commitdiff | tree | snapshot |
| 2016-12-20 | Thomas Krennwallner | Import gringo_5.1.0-4.debian.tar.xz | commit | commitdiff | tree | snapshot |
| 2016-12-11 | Thomas Krennwallner | Import gringo_5.1.0.orig.tar.gz | commit | commitdiff | tree | snapshot |